Formal Methods: Applications and Technology. Proceedings of FMICS + PDMC 2006

TitleFormal Methods: Applications and Technology. Proceedings of FMICS + PDMC 2006
Publication TypeConference Proceedings
Year of Publication2006
EditorBrim, L, Haverkort, B, Leucker, M, van de Pol, J
Conference NameLecture Notes in Computer Science
Volume4346
PublisherSpringer-Verlag
Bibtex: 
@proceedings {BrimHLP06,
	title = {Formal Methods: Applications and Technology. Proceedings of FMICS + PDMC 2006},
	journal = {Lecture Notes in Computer Science},
	volume = {4346},
	year = {2006},
	publisher = {Springer-Verlag},
	editor = {Lubos Brim and Boudewijn Haverkort and Martin Leucker and Jaco van de Pol}
}