Dansk Datamatik Center
... that the Ada language compiler that Dansk Datamatik Center developed in the early 1980s has been termed an underappreciated success story in the use of formal methods?
... that the <a href="./Ada_(programming_language)" id="mwCOQ" rel="mw:WikiLink" title="Ada (programming language)">Ada language</a> <a href="./Compiler" id="mwCOU" rel="mw:WikiLink" title="Compiler">compiler</a> that <b id="mwCOY"><a href="./Dansk_Datamatik_Center" id="mwCOc" rel="mw:WikiLink" title="Dansk Datamatik Center">Dansk Datamatik Center</a></b> developed in the early 1980s has been termed an underappreciated success story in the use of <a href="./Formal_methods" id="mwCOg" rel="mw:WikiLink" title="Formal methods">formal methods</a>?