Science of Computer Programming, Volume 23

Volume 23, Number 1, October 1994

Volume 23, Numbers 2-3, December 1994

Selected Papers of the Colloquium on Formal Approaches of Software Engineering (A Colloquium of TAPSOFT 1993, Orsay, France, April 1993)