[] or SUCCESS is Not Enough: Current Technology and Future Directions in Proof Presentation (Extended Abstract) (2001)

by Johann Schumann , Peter Robinson
Citations:6 - 2 self