Normal view
MARC view
Software Development & Engineering (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) 68353, Formal methods -- the next 30 years :