%0 Thesis %1 phd/ethos/Markopoulos97 %A Markopoulos, Panagiotis %D 1997 %K %T A compositional model for the formal specification of user interface software.

@phdthesis{phd/ethos/Markopoulos97, added-at = {2023-12-12T22:12:37.000+0100}, author = {Markopoulos, Panagiotis}, biburl = {https://www.bibsonomy.org/bibtex/2df0462eb672342bf24d042b9d3d4d13a/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263807}, interhash = {481ec5c10a867e289ff16c22fc3b3a9b}, intrahash = {df0462eb672342bf24d042b9d3d4d13a}, keywords = {}, note = {British Library, EThOS}, school = {Queen Mary University of London, UK}, timestamp = {2023-12-12T22:12:37.000+0100}, title = {A compositional model for the formal specification of user interface software.}, year = 1997 }