Date: 2013-08-19 18:52:27Software testing Software verification Formal verification Orc SIGSOFT Software engineering Model checking Conference on Implementation and Application of Automata CHIC Theoretical computer science Applied mathematics Computer science | | Curriculum Vitae Tevfik Bultan August 19, 2013 Department of Computer Science University of California Santa Barbara, CA 93106Add to Reading ListSource URL: www.cs.ucsb.eduDownload Document from Source Website File Size: 170,35 KBShare Document on Facebook
|