Publication View

interactive proof environment for object-oriented specifications (2007)

Publication details

Download	http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17097
Publisher	ZürichETH
Repository	ETH Zurich (Switzerland)
Type	text
Language	eng