RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings /

Published 1983

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings /

Published 1983

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Published 1988

Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings /

Published 1985

MetaSoft primer : towards a metalanguage for applied denotational semantics /

by Blikle, Andrzej
Published 1987

Foundations of software technology and theoretical computer science : seventh conference, Pune, India, December 17-19, 1987 : proceedings /

Published 1987

Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings /

Published 1988

Software reliability modelling and identification /

Published 1988

RIMS symposia on software science and engineering II : proceedings of the symposia 1983 and 1984, Kyoto, Japan /

Published 1986

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 proceedings /

Published 1987

System development and Ada /

Published 1987

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings /

Published 1986

TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 /

Published 1987

Program development by specification and transformation : the PROSPECTRA methodology, language family, and system /

Published 1993

Formal program development : IFIP TC 2/WG 2.1 state-of-the-art report /

Published 1993

Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings /

Published 1990

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings /

Published 1992

Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings /

Published 1994

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings /

Published 1994

Computer aided verification : 5th international conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings /

Published 1993