Type-Safety Obligation Generation in Rosetta
Main Author: | Kamath, Roshan |
---|---|
Language: | English |
Published: |
University of Cincinnati / OhioLINK
2002
|
Subjects: | |
Online Access: | http://rave.ohiolink.edu/etdc/view?acc_num=ucin1026494806 |
Similar Items
-
The rosetteless gene controls development in the choanoflagellate S. rosetta
by: Tera C Levin, et al.
Published: (2014-10-01) -
Combining type checking with model checking for system verification
by: Ren, Zhiqiang
Published: (2018) -
Fast design of arbitrary length loops in proteins using InteractiveRosetta
by: William F. Hooper, et al.
Published: (2018-09-01) -
DVTG - Design Verification Test Generation from Rosetta Specifications
by: Ranganathan, Krishna
Published: (2001) -
Photoemission on the Rosetta spacecraft
by: Johlander, Andreas
Published: (2012)