© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Guest editors introduction: Formal methods for object oriented distributed systems
H Bowman, J Derrick, and E Brinksma
IEEE Transactions on Software Engineering, 26(7):182-196, July 2000.Bibtex Record
@article{1098,
author = {H Bowman and J Derrick and E Brinksma},
title = {Guest Editors Introduction: Formal Methods for Object Oriented Distributed Systems},
month = {July},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1098},
journal = {IEEE Transactions on Software Engineering},
number = {7},
publication_type = {article},
publisher = {IEEE Computer Society},
submission_id = {24657_967201434},
volume = {26},
}