Software engineering : specification, implementation, verification /: specification, implementation, verification. (2017) - Alagić, Suad, 1946-
No abstract available