Publication status
publishedExternal links
Book title
Integrated formal methods : 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 : proceedingsJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
Subject
Event-B; Code generation; Correct-by-constructionOrganisational unit
03634 - Basin, David / Basin, David
02660 - Institut für Informationssicherheit / Institute of Information Security
More
Show all metadata