Executable formal specifications of complex distributed systems with CoreASM
Farahbod, Roozbeh, Gervasi, Vincenzo, Glässer, UweVolume:
79
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2012.02.001
Date:
January, 2014
File:
PDF, 1.32 MB
english, 2014