Normal view
MARC view
Formal methods (Computer science) Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (2nd : 2000 : Dagstuhl Castle, Germany) 15678, Integrated formal methods :, 2000.