Date: 2014-02-28 12:52:15Mathematical software Application software Software Theoretical computer science Formal methods Logic in computer science Discrete mathematics Verification Quantifier elimination Formal verification Model checking Computer science | | Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and applAdd to Reading ListSource URL: web.engr.illinois.eduDownload Document from Source Website File Size: 62,04 KBShare Document on Facebook
|