dblp.uni-trier.dewww.uni-trier.de

Peter Broekroelofs

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993
1 Ed Brinksma, Rom Langerak, Peter Broekroelofs: Functionality Decomposition by Compositional Correstness Preserving Transformation. CAV 1993: 371-384

Coauthor Index

1Ed Brinksma [1]
2Rom Langerak [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)