Jump to Navigation

Preface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)

TitlePreface to the special issue on formal methods for industrial critical systems (FMICS 2007+FMICS 2008)
Publication TypeJournal Article
Year of Publication2010
Secondary AuthorsCofer, D.., A.. Fantechi, S. Leue, and P. Merino
JournalScience of Computer Programming
Volume76
Pagination63–64
Date Publishedfeb
PublisherElsevier
ISSN0167-6423


Main menu 2

Biblio | by Dr. Radut