Washington / D.C. / Santa Fe / Verification Keywords Language / Tartu / /
Company
Prentice-Hall / International Journal / MIT Press / Verified Software / Microsoft / /
Country
United States / Estonia / /
Currency
USD / / /
Event
Reorganization / /
Facility
Information Science The University of Pennsylvania Philadelphia / Chalmers University of Technology / USA Computer Science The University of Iowa Iowa City / State University / /
IndustryTerm
software engineering / large software projects / industrial software / automated restructuring tools / web browser / software refactoring / finite state systems / software quality / correct software / type systems / static type systems / software engineering processes / /
Organization
The University of Iowa / National Science Foundation / MIT / University of Pennsylvania Philadelphia / The University of Pennsylvania / University of Iowa Iowa City / 5th International School / World Tim Sheard Aaron Stump Stephanie Weirich Computer Science Portland State University Portland / Chalmers University of Technology / /
Person
S. Peyton Jones / D. Vytiniotis / G. Washburn / S. Weirich / D.R. Cok / / /
Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich