Formal Specification and Design Book Discussion
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
by
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)