next up previous

An Open Logical Programming Environment:

A Practical Framework for Sharing Formal Models and Tools


 

Joan Lockwood
7/10/1998