Specifying and Verifying Advanced Control Features.

Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani

Browse the full ISoLA paper archive.