FME 2001:
Berlin,
Germany
José Nuno Oliveira, Pamela Zave (Eds.):
FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings.
Lecture Notes in Computer Science 2021 Springer 2001, ISBN 3-540-41791-5 BibTeX
@proceedings{DBLP:conf/fm/2001,
editor = {Jos{\'e} Nuno Oliveira and
Pamela Zave},
title = {FME 2001: Formal Methods for Increasing Software Productivity,
International Symposium of Formal Methods Europe, Berlin, Germany,
March 12-16, 2001, Proceedings},
booktitle = {FME},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2021},
year = {2001},
isbn = {3-540-41791-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Proof and Model-checking
Model Checking
Security
Agent Architectures
Invited Talk
Object-Oriented Formal Modelling
Real Time Systems
Concurrency and Parallelism
Logic and Foundations
Invited Talk
Formal Techniques in System Testing
Case Studies,
Tools and Verification Experiments
Information Maintenance and Refactoring
Combining Strategies
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)
