H ? « ‹ ← → › »

Language peer sets for SVL:
France↑
France/2001↑
Designed 2001 ↑
2000s languages ↑
Internet↑
New internationlism↑

SVL(ID:7131/svl002)

alternate simple view
Country: France
Designed 2001

for Script Verification Language
Related languages
E-LOTOS → SVL   Based on
References:
  • Garavel, Hubert - Lang, Frédéric (2001) Garavel, Hubert - Lang, Frédéric "SVL : a Scripting Language for Compositional Verification" Rapport de recherche de l'INRIA-Rhone-Alpes RR-4223 - Juillet 2001 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder