Separation logics and modalities: a survey

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 02, 2015
Source ID
10.1080/11663081.2015.1018801

Entities

People

  • Morgan Deters
  • Stéphane Demri

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation
  • Seventh Framework Programme