No. 417 (1992): PB-417 Design, analysis and Reasoning about Tools: Abstracts from the Second Workshop (Aalborg, 1992, 20-21 August)

Published: 1992-09-01