Dines Bjørner, Larry E. Druffel. Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods. In ICSE. pages 264-266, 1990.
@inproceedings{BjornerD90,
title = {Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods},
author = {Dines Bjørner and Larry E. Druffel},
year = {1990},
tags = {e-science},
researchr = {https://researchr.org/publication/BjornerD90},
cites = {0},
citedby = {0},
pages = {264-266},
booktitle = {ICSE},
}