Shiu-Kai Chin, John Faust, Joseph Giordano. Integrating formal methods tools to support system design. In 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA. pages 88, IEEE Computer Society, 1995. [doi]
@inproceedings{ChinFG95, title = {Integrating formal methods tools to support system design}, author = {Shiu-Kai Chin and John Faust and Joseph Giordano}, year = {1995}, url = {http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230088abs.htm}, tags = {design}, researchr = {https://researchr.org/publication/ChinFG95}, cites = {0}, citedby = {0}, pages = {88}, booktitle = {1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA}, publisher = {IEEE Computer Society}, }