2 results Refine Results
  1. 1
    Published 1988
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
  2. 2
    Published 1987
    “...Lecture notes in computer science ;...”
    Book
    Save to List
    Saved in:
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings /

Search Tools: