Preface. - Benny Graft Mortensen; Ferenc Vajda (Microprocess. Microprogramming, 1993)

Applying Formal Methods in Industry The UseGat Project. - Sandro Bologna; Rocco Bove; Giovanni Dipoppa; Giorgio Mongardi; Gino Biondi; Carmen Porzia; Benny Graft Mortensen; Niels Kirkegaard (SAFECOMP, 1998)