%0 Thesis %1 phd/ca/Paige97 %A Paige, Richard F. %D 1997 %K dblp %T Formal method integration via heterogeneous notations.

@phdthesis{phd/ca/Paige97, added-at = {2022-08-10T00:00:00.000+0200}, author = {Paige, Richard F.}, biburl = {https://www.bibsonomy.org/bibtex/22f4949bc763fce911ab977cd5b954c9a/dblp}, ee = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO_INST/14bjeso/alma991106402153506196}, interhash = {082d42e1feafe0a6b6c1fc1796384f9b}, intrahash = {2f4949bc763fce911ab977cd5b954c9a}, keywords = {dblp}, school = {University of Toronto, Canada}, timestamp = {2024-04-09T09:28:39.000+0200}, title = {Formal method integration via heterogeneous notations.}, year = 1997 }