%0 Conference Paper %1 conf/sigada/HaywardB95 %A Hayward, John %A Bale, Stephen %B TRI-Ada %D 1995 %E Jr., Charles B. Engle %I ACM %K dblp %P 95-104 %T Refinement of Z specifications using reusable software components in Ada. %U http://dblp.uni-trier.de/db/conf/sigada/triada95.html#HaywardB95 %@ 0-89791-705-7

@inproceedings{conf/sigada/HaywardB95, added-at = {2022-05-10T00:00:00.000+0200}, author = {Hayward, John and Bale, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/2eb5870186c47c11532321c254a85bc30/dblp}, booktitle = {TRI-Ada}, crossref = {conf/sigada/1995}, editor = {Jr., Charles B. Engle}, ee = {https://doi.org/10.1145/376503.376545}, interhash = {e87ae09b8c86db4c9aae3d6509609e6f}, intrahash = {eb5870186c47c11532321c254a85bc30}, isbn = {0-89791-705-7}, keywords = {dblp}, pages = {95-104}, publisher = {ACM}, timestamp = {2024-04-09T17:42:43.000+0200}, title = {Refinement of Z specifications using reusable software components in Ada.}, url = {http://dblp.uni-trier.de/db/conf/sigada/triada95.html#HaywardB95}, year = 1995 }