verified software repository
Recently Published Documents

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The verified software repository: a step towards the verifying compiler

2006 ◽  
Vol 18 (2) ◽  
pp. 143-151 ◽  
Author(s):  
J.C. Bicarregui ◽  
C.A.R. Hoare ◽  
J.C.P. Woodcock
Keyword(s):  
Software Repository ◽  
Verifying Compiler ◽  
Verified Software ◽  
Verified Software Repository
Load More ...
Sign in / Sign up

Export Citation Format

Share Document