Cover von Leveraging Applications of Formal Methods, Verification and Validation opens in new tab

Leveraging Applications of Formal Methods, Verification and Validation

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10 - 14, 2016, Proceedings
2016
Berlin, Springer
Series: Lecture notes in computer science; 9952/9953
Media group: GESAMTWERK
Volumes

Content

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation <7, 2016, Imperial>

Details

Search for this author
Year: 2016
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
Description: 2 Vols.
Series: Lecture notes in computer science; 9952/9953
Participating parties: Search for this character Margaria, Tiziana; Steffen, Bernhard
Media group: GESAMTWERK