Dines Bjørner

发表

Dines Bjørner, 2009, New Generation Computing.
Dines Bjørner, D. Bjørner, 2014 .
Dines Bjørner, D. Bjørner, 2011, Rainbow of Computer Science.
Dines Bjørner, G. Goos, J. Hartmanis, 1990, Lecture Notes in Computer Science.
Dines Bjørner, 1977, International Computing Symposium.
Dines Bjørner, Preben Folkjär, 1980, IFIP Congress.
Dines Bjørner, Larry E. Druffel, Dick Fairley, 1989, ICSE 1989.
Dines Bjørner, Klaus Havelund, K. Havelund, 2014 .
Dines Bjørner, 2004, IFIP Congress Topical Sessions.
Dines Bjørner, Larry E. Druffel, D. Bjørner, 1990, [1990] Proceedings. 12th International Conference on Software Engineering.
Dines Bjørner, D. Bjørner, 2006, Texts in Theoretical Computer Science. An EATCS Series.
Dines Bjørner, Søren Prehn, 1991, Software Development Environments and CASE Technology.
Dines Bjørner, Peter Chiang, Morten S. T. Jacobsen, 2004, IFIP Congress Topical Sessions.
Dines Bjørner, Jianwen Xiang, Kokichi Futatsugi, 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.
Dines Bjørner, Erich J. Neuhold, Cliff B. Jones, 1987, Lecture Notes in Computer Science.
Dines Bjørner, Christian Gram, Ole N. Oest, 2010, History of Nordic Computing.
Dines Bjørner, 2011, Int. J. Softw. Informatics.
Dines Bjørner, 1978, The Vienna Development Method: The Meta-Language.
Dines Bjørner, D. Bjørner, 2009, COE Research Monograph Series.
Dines Bjørner, 1979, Abstract Software Specifications.
Manfred Broy, Dines Bjørner, J. van Leeuwen, 2000, Lecture Notes in Computer Science.
Dines Bjørner, 1980, Towards a Formal Description of Ada.
Dines Bjørner, 1993, Software Engineering Education.
Dines Bjørner, 2008, Formal Aspects of Computing.
Dines Bjørner, Cliff B. Jones, Cliff B. Jones, 1978, Lecture Notes in Computer Science.
Dines Bjørner, Martin Penicka, 2004, IFIP Congress Topical Sessions.
Dines Bjørner, Martin Penicka, Albena Kirilova Strupchanska, 2003 .
Dines Bjørner, D. Bjørner, 2018, J. Log. Algebraic Methods Program..
Dines Bjørner, 2012, APSEC Workshops.
Dines Bjørner, Neil D. Jones, Andrei P. Ershov, 1987 .
Dines Bjørner, D. Bjørner, 2007, ISoLA.
Dines Bjørner, Anne Elisabeth Haxthausen, Klaus Havelund, 1992, Future Gener. Comput. Syst..
Dines Bjørner, 1978, Mathematical Studies of Information Processing.
Dines Bjørner, S. Koussoube, R. Noussi, 1997, First IEEE International Conference on Formal Engineering Methods.
Dines Bjørner, D. Bjørner, 1979, Abstract Software Specifications.
Dines Bjørner, 1977, International Computing Symposium.
Dines Bjørner, Asger Eir, D. Bjørner, 2008 .
Dines Bjørner, D. Bjørner, 2002, 10th Anniversary Colloquium of UNU/IIST.
Dines Bjørner, D. Bjørner, 2017, Formal Aspects of Computing.
Dines Bjørner, 2017, Provably Correct Systems.
Dines Bjørner, D. Bjørner, 2008, Concurrency, Graphs and Models.
Dines Bjørner, Ole N. Oest, 1980, Towards a Formal Description of Ada.
Dines Bjørner, 2017, Provably Correct Systems.
Dines Bjørner, D. Bjørner, 2010, Encyclopedia of Software Engineering.
Dines Bjørner, 2014, Specification, Algebra, and Software.
Dines Bjørner, 1996, Ershov Memorial Conference.
Dines Bjørner, D. Bjørner, 2000, Ann. Softw. Eng..
Dines Bjørner, Anne Elisabeth Haxthausen, Chris George, 2004, SoftSpez Final Report.
Dines Bjørner, Martin C. Henson, D. Bjørner, 2007, Monographs in Theoretical Computer Science. An EATCS Series.
Dines Bjørner, D. Bjørner, 2010, Reflections on the Work of C. A. R. Hoare.
Dines Bjørner, 2008, Journal of Computer Science and Technology.
Dines Bjørner, 1980, Lecture Notes in Computer Science.
Manfred Broy, Dines Bjørner, Igor V. Pottosin, 1993, Lecture Notes in Computer Science.
Dines Bjørner, Asger Eir, D. Bjørner, 2010, Concurrency, Compositionality, and Correctness.
Dines Bjørner, Janis Barzdins, 1991 .
Dines Bjørner, Cliff B. Jones, Derek Andrews, 1982 .
Manfred Broy, Dines Bjørner, Alexandre V. Zamulin, 2001 .
Dines Bjørner, 2006, Texts in Theoretical Computer Science. An EATCS Series.
Dines Bjørner, Cliff B. Jones, Hans Bekic, 1984 .
Dines Bjørner, 2006, Texts in Theoretical Computer Science. An EATCS Series.
Dines Bjørner, D. Bjørner, 1997, Requirements Targeting Software and Systems Engineering.
Dines Bjørner, Klaus Havelund, K. Havelund, 2014, FM.
Dines Bjørner, D. Bjørner, 1999, Correct System Design.
Dines Bjørner, J. Bārzdinš, 1991, Lecture Notes in Computer Science.
Dines Bjørner, Hans Henrik Løvengreen, 1980, SIGPLAN '80.
Dines Bjørner, 2009, Int. J. Softw. Informatics.
Dines Bjørner, Cliff B. Jones, Hans Bekic, 1984, Programming Languages and Their Definition.
Dines Bjørner, D. Bjørner, 2010 .
Manfred Broy, Dines Bjørner, Alexandre V. Zamulin, 2001, Lecture Notes in Computer Science.
Dines Bjørner, 2021, Formal Methods in Outer Space.
Dines Bjørner, 2021, Monographs in Theoretical Computer Science. An EATCS Series.
Dines Bjørner, Dines Bjørner, D. Bjørner, 2006 .
Dines Bjørner, D. Bjørner, 1970 .
Dines Bjørner, Richard Petersens Plads, D. Bjørner, 2007 .
Dines Bjørner, Hans Henrik Løvengreen, 1980, SIGPLAN '80.