%0 Conference Paper %1 conf/sigada/Shumate95a %A Shumate, Ken %B TRI-Ada Tutorials %D 1995 %E Cook, David %I ACM %K dblp %P 687-736 %T Software Specification and Design: A Disciplined Approach. %U http://dblp.uni-trier.de/db/conf/sigada/triada95-t.html#Shumate95a %@ 0-89791-705-7

@inproceedings{conf/sigada/Shumate95a, added-at = {2019-08-02T00:00:00.000+0200}, author = {Shumate, Ken}, biburl = {https://www.bibsonomy.org/bibtex/260f82356fadec947761df3e8887030c9/dblp}, booktitle = {TRI-Ada Tutorials}, crossref = {conf/sigada/1995t}, editor = {Cook, David}, ee = {https://doi.org/10.1145/216591.216615}, interhash = {a811f862d63a32e63649932b955102af}, intrahash = {60f82356fadec947761df3e8887030c9}, isbn = {0-89791-705-7}, keywords = {dblp}, pages = {687-736}, publisher = {ACM}, timestamp = {2024-04-09T17:42:51.000+0200}, title = {Software Specification and Design: A Disciplined Approach.}, url = {http://dblp.uni-trier.de/db/conf/sigada/triada95-t.html#Shumate95a}, year = 1995 }