Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca Di Magra, Italy, June 1994 (Softcover Reprint of the OrPaperback - Softcover Reprint of the Original 1st 1995, 18 February 2012
This book is the proceedings of the first Eurographics workshop on
design, specification and verification of interactive systems, held in
June 1994. It reviews the state of the art, compares different
approaches, and indicates the relevant results.