Steve Easterbrook, John R. Callahan, Virginie Wiels. V & V through Inconsistency Tracking and Analysis. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 43-49, IEEE Computer Society, 1998. [doi]
@inproceedings{EasterbrookCW98, title = {V & V through Inconsistency Tracking and Analysis}, author = {Steve Easterbrook and John R. Callahan and Virginie Wiels}, year = {1998}, url = {https://dl.acm.org/doi/10.5555/857205.858296}, researchr = {https://researchr.org/publication/EasterbrookCW98}, cites = {0}, citedby = {0}, pages = {43-49}, booktitle = {Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998}, publisher = {IEEE Computer Society}, isbn = {978-0-8186-8439-5}, }