Baltic computer sciencede D. BjørnerMateriasComputer scienceEdiciones (1)Baltic computer science (1991)Springer-Verlag · inglésMás obras de D. BjørnerTThe Vienna development methodThe Vienna development methodTowards a formal description of AdaFormal methods and hybrid real-time systems