Program verification by calculating relations Conferences

authors

• Carette, Jacques
• Janicki, Ryszard
• Zhai, Yun

status

• published 

publication date

• 2006

published in

• PROCEEDINGS OF THE 15TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING  Journal

presented at event

• 15th IASTED International Conference on Applied Simulation and Modelling  Conference

keywords

• Computer Science
• Computer Science, Interdisciplinary Applications
• Mathematics
• Mathematics, Applied
• Operations Research & Management Science
• Physical Sciences
• Science & Technology
• Technology
• modelling
• proving program correctness
• recurrence relations
• symbolic computation

International Standard Book Number (ISBN) 10

• 0-88986-559-0

start page

• 151

end page

• +

volume

• 2006