Interesting Sites

Open Systems Laboratory, Department of Computer Science, University of Illinois Urbana-Champaign.

Stanford Formal Reasoning Group, Computer Science Department, Stanford University.

  Go back to Nalini Venkatasubramanian's home page