A discussion on the classification of single loop structures and their loop invariants

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ2841575zbMATH OpenFDO

Authors Fei Xing

Publication date 26 July 2013

Published in Journal of Inner Mongolia University (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: A discussion on the classification of single loop structures and their loop invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841575)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_discussion_on_the_classification_of_single_loop_structures_and_their_loop_invariants&oldid=83725424"