ASSERT - Methodology Language and Tools for System Specification Development (1992)

by A Sapir, A Yehudai
Venue:Proceedings of the Sixth Israel Conference on Computer Systems and Software Engineering