%0 Thesis %1 phd/ethos/Gibson93 %A Gibson, J. Paul %D 1993 %K dblp %T Formal object oriented development of software systems using LOTOS.

@phdthesis{phd/ethos/Gibson93, added-at = {2022-04-05T00:00:00.000+0200}, author = {Gibson, J. Paul}, biburl = {https://www.bibsonomy.org/bibtex/271cf0be1a1cc644e4b68719e0f085c5f/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334669}, interhash = {12cca055abafc6a37610cbf8ee72d242}, intrahash = {71cf0be1a1cc644e4b68719e0f085c5f}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Stirling, UK}, timestamp = {2024-04-09T08:49:09.000+0200}, title = {Formal object oriented development of software systems using LOTOS.}, year = 1993 }