930 search results - page 9 / 186 » Advanced Engineering Informatics |
113
Voted
CADE
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
ISPE
2003
15 years 1 months ago
2003
110
Voted
JUCS
2008
14 years 12 months ago
2008
67
Voted
WCRE
2000
IEEE
15 years 4 months ago
2000
IEEE
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
onograph will be also published in Spanish (full version printed; summary, abstracts, and some articles online) by Novática, journal of the Spanish CEPIS society ATI (Asociación ...