Formal Methods for Open Object-Based Distributed Systemsde Marcello M. Bonsangue, Einar Broch JohnsenMateriasLogic designComputer networksComputer scienceSoftware engineeringOperating systems (Computers)Electronic data processingCongressesDistributed processingObject-oriented programming (Computer science)
