Programmverification at Stanford: Past, Present Future.

Wolfgang Polak

Browse the full KI paper archive.