Verifying while loops with invariant relations

International Journal of Critical Computer-Based Systems 2014 Vol. 5; Iss. 1/2

Verifying while loops with invariant relations

Louhichi, Asma, Ghardallou, Wided, Bsaies, Khaled, Jilani, Lamia Labed, Mraihi, Olfa, Mili, Ali
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
5
Year:
2014
Language:
english
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/IJCCBS.2014.059596
File:
PDF, 377 KB
english, 2014
Conversion to is in progress
Conversion to is failed