Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Bohrer, Rose Publisher Worcester Polytechnic Institute Resource type Thesis

Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Co...

Regular Session Types

Accelerating Software Development Through Integrated Domain-Driven Program Synthesis

Homotopy Type Theory for Sewn Quilts