Showing 1 - 1 results of 1 for search 'Bochmann, G. V.', query time: 0.01s Refine Results
  1. 1

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

    Published 1993
    Book

    Computer aided verification 4th international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992.

Search Tools: