Customised Induction Rules for Proving Correctness of Imperative Programs
Paper i proceeding, 2005

Författare

Angela Wallenburg

Göteborgs universitet

Software Engineering and Formal Methods 2005, IEEE Computer Society Press

180-189

Ämneskategorier

Data- och informationsvetenskap