Showing 1 - 1 results of 1 for search 'Bjorner, D. (Dines) 1937-', query time: 0.01s Refine Results
  1. 1

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

    Published 1993
    Book

    Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings

Search Tools: