You are here: TUCS > PUBLICATIONS > Publication Search > FM 2008: Formal Methods
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
FM 2008: Formal Methods
Jorge Cuellar, Tom Maibaum, Kaisa Sere (Eds.), FM 2008: Formal Methods, Lecture Notes in Computer Science 5014, Springer, 2008.
BibTeX entry:
@BOOK{eCuMaSe08a,
title = {FM 2008: Formal Methods},
number = {5014},
series = {Lecture Notes in Computer Science},
editor = {Cuellar, Jorge and Maibaum, Tom and Sere, Kaisa},
publisher = {Springer},
year = {2008},
keywords = {Forma methods Proceedings},
ISBN = {3-540-68235-X},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)
Publication Forum rating of this publication: level 2