Search results for: Dines Bjørner
Journal of Logical and Algebraic Methods in Programming > 2018 > 94 > C > 91-108
IFIP — The International Federation for Information Processing > Building the Information Society > TRain: The Railway Domain — A Grand Challenge > 657-664
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 1-9
Lecture Notes in Computer Science > Rainbow of Computer Science > The Practice of Informatics > 167-183
Lecture Notes in Computer Science
Formal Aspects of Computing > 2017 > 29 > 2 > 175-225
Lecture Notes in Computer Science > Requirements Targeting Software and Systems Engineering > Foundations of Software Engineering > 1-41