Customised Induction Rules for Proving Correctness of Imperative Programs
Paper i proceeding, 2005
Författare
Ola Olsson
Angela Wallenburg
Göteborgs universitet
Software Engineering and Formal Methods 2005, IEEE Computer Society Press
180-189
Ämneskategorier
Data- och informationsvetenskap