JUCS - Journal of Universal Computer Science 11(10): 1577-1579, doi: 10.3217/jucs-011-10
Compositional Construction and Reasoning Techniques for Software
expand article infoFarhad Arbab‡, Joost N. Kok§
‡ Center for Mathematics and Computer Science (CWI), Amsterdam and Leiden Institute of Advanced Computer Science, Leiden University, Netherlands§ Leiden Institute of Advanced Computer Science, Leiden University, Netherlands

Corresponding author: Farhad Arbab ( farhad@cwi.nl )

© Farhad Arbab, Joost Kok.
This article is freely available under the J.UCS Open Content License.
Citation: Arbab F, Kok JN (2005) Compositional Construction and Reasoning Techniques for Software. JUCS - Journal of Universal Computer Science 11(10): 1577-1579. https://doi.org/10.3217/jucs-011-10
Open Access