A Logic for (1992)

by Double Precision P
Venue:Z, Proceedings 6th Z User Meeting
Citations:36 - 1 self