Verification of Concurrent Systems with VerCors
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Verification of Concurrent Systems with VerCors
SFM, 2014.

SFM 2014
Full names Links ISxN
	author        = "Afshin Amighi and Stefan Blom and Saeed Darabi and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva-Stojanovski",
	booktitle     = "{Advanced Lectures of the 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Executable Software Models}",
	doi           = "10.1007/978-3-319-07317-0_5",
	isbn          = "978-3-319-07316-3",
	pages         = "172--216",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Verification of Concurrent Systems with VerCors}",
	volume        = 8483,
	year          = 2014,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.