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)
maintained by Schloss Dagstuhl LZI at University of Trier