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

Leveraging Applications of Formal Methods, Verification and Validation

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5 - 9, 2018, Proceedings
2018
Berlin, Springer
Series: Lecture notes in computer science; 11244/11247
Media group: GESAMTWERK
Volumes

Content

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation <8, 2018, Limassol>

Details

Search for this author
Year: 2018
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
Description: 4 Volumes
Series: Lecture notes in computer science; 11244/11247
Participating parties: Search for this character Margaria, Tiziana; Steffen, Bernhard
Media group: GESAMTWERK