Open AccessReuse of proofs in software verification
Author(s) -
Wolfgang Reif,
Kurt H. Stenzel
Publication year - 1996
Publication title -
sadhana
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.268
H-Index - 49
eISSN - 0973-7677
pISSN - 0256-2499
DOI - 10.1007/bf02745521
Subject(s) - mathematical proof , reusability , computer science , reuse , software engineering , programming language , software , software verification , process (computing) , formal methods , software construction , software development , engineering , mathematics , geometry , waste management
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom