Return to search

Formal verification of a fully IEEE compliant floating point unit

University, Diss., 2002--Saarbrücken.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/177323577
CreatorsJacobi, Christian.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds