Back to Results
First PageMeta Content
Knowledge / Formal methods / Management / Problem solving / Project management / Unidad de Operaciones Especiales / Scientific modelling / Planning / Mathematical proof / Science / Thought / Mind


What Planning Can Do for Formal Methods Andrew Ireland Maria Teresa Llano School of Mathematical & Computer Sciences Heriot-Watt University Gudmund Grov School of Informatics
Add to Reading List

Document Date: 2013-10-30 13:20:15

Open Document

File Size: 1,34 MB

Share Result on Facebook

Company

BAE Systems / /

Country

Ireland / /

Facility

Informatics University of Edinburgh Ireland / /

IndustryTerm

proof search / /

Organization

Informatics University / Computer Sciences Heriot-Watt University Gudmund Grov School / Formal Methods Andrew Ireland Maria Teresa Llano School / University of Edinburgh / /

Position

General / /

Technology

artificial intelligence / Flash / dom / /

SocialTag