Title

5th Nordic Workshop on Program Correctness 1994. Proceedings

Title Supplement
1993 October 25-28: Turku, Finland
Publisher
Publishing Place
Turku
Publication Date
1994
Series
Abo Akademi reports on computer science and mathematics. Ser. B; 18
ISBN
951-650-400-0
Conference