%0 Conference Paper %1 conf/apsec/HusseyC97 %A Hussey, Andrew %A Carrington, David A. %B APSEC %D 1997 %I IEEE Computer Society %K dblp %P 374- %T Specifying the UQ* user-interface with Object-Z. %U http://dblp.uni-trier.de/db/conf/apsec/apsec1997.html#HusseyC97 %@ 0-8186-8271-X

@inproceedings{conf/apsec/HusseyC97, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hussey, Andrew and Carrington, David A.}, biburl = {https://www.bibsonomy.org/bibtex/28731b9b492df834e7b9de8091462ad18/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640194}, interhash = {4ba2c380bc48ce2d33cadac7f43bfd6b}, intrahash = {8731b9b492df834e7b9de8091462ad18}, isbn = {0-8186-8271-X}, keywords = {dblp}, pages = {374-}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:15:30.000+0200}, title = {Specifying the UQ* user-interface with Object-Z.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec1997.html#HusseyC97}, year = 1997 }