Customised induction rules for proving correctness of imperative programs

Olsson, O and Wallenburg, A (2005). Customised induction rules for proving correctness of imperative programs. In: SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings. 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz Germany, (180-189). Sep 07-09, 2005. doi:10.1109/SEFM.2005.15


Author Olsson, O
Wallenburg, A
Title of paper Customised induction rules for proving correctness of imperative programs
Conference name 3rd IEEE International Conference on Software Engineering and Formal Methods
Conference location Koblenz Germany
Conference dates Sep 07-09, 2005
Proceedings title SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings
Journal name Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
Publication Year 2005
Sub-type Fully published paper
DOI 10.1109/SEFM.2005.15
ISBN 0-7695-2435-4
Start page 180
End page 189
Total pages 10
Language eng
Keyword Verification
Logic
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: ResearcherID Downloads
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 1 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 5 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Fri, 29 Apr 2016, 09:00:22 EST by System User on behalf of Learning and Research Services (UQ Library)