Contracts for security adaptation

  1. Martín, J.A.
  2. Pimentel, E.
Zeitschrift:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Datum der Publikation: 2011

Ausgabe: 80

Nummer: 3-5

Seiten: 154-179

Art: Artikel

DOI: 10.1016/J.JLAP.2010.07.001 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus