Programming ⊂ Modeling ⊂ Engineering

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-47169-3_2 ◽

2016 ◽

pp. 11-26 ◽

Cited By ~ 2

Author(s):

Bran Selić

Download Full-text