Tetsuro Katayama, Keizo Saisho, Akira Fukuda. Generating a Device Driver with a Formal Specification Language. In M. H. Hamza, editor, Proceedings of the 17th IASTED International Conference on Applied Informatics, February 15-18, 1999, Innsbruck, Austria. pages 638-643, IASTED/ACTA Press, 1999.
Abstract is missing.