Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop (1993)

by Flemming Nielson , (Ed.)