Search results for: Joakim Bjørk
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 257-279
Science of Computer Programming > 2016 > 115-116 > C > 3-22
Innovations in Systems and Software Engineering > 2013 > 9 > 1 > 29-43