APA (7th ed.) Citation

Kurshan, R. (1993). Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification. Springer US.

Chicago Style (17th ed.) Citation

Kurshan, Robert. Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification. Boston, MA: Springer US, 1993.

MLA (9th ed.) Citation

Kurshan, Robert. Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification. Springer US, 1993.