Dines Bjørner
Informatiker
Geboren:
1937
Creative Commons Attribution-Share Alike 3.0
Hat mitgewirkt an:
-
Software engineering, 3.. Domains, requirements, and software design
-
Software engineering, 2.. Specification of systems and languages : with 27 tables / with contributions from Christian Krog Madsen
-
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings
-
Logics of specification languages