pcb@gator.cacs.usl.edu (Peter C. Bahrs) (06/01/90)
I am looking for references to Formal Specifications for graphics algorigthms and/or systems. Hopefully, some axiomatic based proof systems. /*----------- Thanks in advance... --------------------------------------+ | Peter C. Bahrs | | The USL-NASA Project | | Center For Advanced Computer Studies INET: pcb@gator.cacs.usl.edu | | 2 Rex Street | | University of Southwestern Louisiana ...!uunet!dalsqnt!gator!pcb | | Lafayette, LA 70504 | +-----------------------------------------------------------------------*/