Advertisement

Editorial

  • Narciso Martí-Oliet
  • Grigore Roşu
  • Carolyn Talcott
Article
  • 22 Downloads

Keywords

Dependent Type Cryptographic Protocol Constraint Domain Declarative Semantic Matching Constraint 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  • Narciso Martí-Oliet
    • 1
  • Grigore Roşu
    • 2
  • Carolyn Talcott
    • 3
  1. 1.Universidad Complutense de MadridMadridSpain
  2. 2.University of Illinois at Urbana-ChampaignIllinoisUSA
  3. 3.SRI InternationalMenlo ParkUSA

Personalised recommendations