Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction /

Description

Univ., Diss--Kiel, 1996. / Literaturverz. S. 239 - 243.

Links & Downloads

1. http://www.loc.gov/catdir/enhancements/fy0815/97013428-d.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/246318109
Date	January 1997
Creators	Müller-Olm, Markus.
Publisher	Berlin [u.a.] : Springer,
Source Sets	OCLC
Language	English
Detected Language	English