WoLFram - a word level framework for formal verification and its application

Description

Zugl.: Bremen, Univ., Diss., 2010

Links & Downloads

1. http://d-nb.info/1001177738/04

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/640123798
Date	January 2010
Creators	Sülflow, André
Publisher	Aachen Shaker
Source Sets	OCLC
Language	English
Detected Language	English