Ian Thomas
Tool Integration in the Pact Environment
ICSE, 1989.
@inproceedings{ICSE-1989-Thomas, author = "Ian Thomas", booktitle = "{Proceedings of the 11th International Conference on Software Engineering}", doi = "10.1145/74587.74589", editor = "Larry E. Druffel and Dick Fairley and Dines Bjørner", isbn = "0-8186-1941-4", pages = "13--22", publisher = "{IEEE Computer Society / ACM Press}", title = "{Tool Integration in the Pact Environment}", year = 1989, }