Return to search

Certifying system translations using higher order theorem provers

Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008

  1. http://d-nb.info/994725647/04
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/423918682
Date January 2008
CreatorsBlech, Jan Olaf
PublisherBerlin Logos-Verl.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds