Benny Graft Mortensen

According to our database, Benny Graft Mortensen authored at least 2 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

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

Proceedings of the Computer Safety, 1998

1993

Preface.

Benny Graft Mortensen, Ferenc Vajda

Microprocess. Microprogramming, 1993