Invenory Resarch Havard
Laws of concurrent design Tony Hoare Microsoft ResearchCambridge FMCAD 2012 23 October.
Spreadsheets COE 201- Computer Proficiency. Basic Interface Excel Book = Word Document Every book can contain up to 255 different sheets.
System Design Research Laboratory Specification-based Testing with Linear Temporal Logic Li Tan Oleg Sokolsky Insup Lee University of Pennsylvania.
Laws of concurrent design
Adapting the P-Type Nomogram to the GFE