Computer Aided Verification

MLA

Chockler, Georg Weissenbacher, and Georg Weissenbacher. Computer Aided Verification. Springer International Publishing, 2018.

APA

Chockler, C., Georg Weissenbacher, G. Weissenbacher, & Weissenbacher, G. (2018). Computer Aided Verification. Springer International Publishing.

Chicago

Chockler, Georg Weissenbacher, and Georg Weissenbacher. Computer Aided Verification. : Springer International Publishing, 2018.