Exceptions modelling in imperative programs in terms of Petri nets

Source: Вычислительные технологии.

Subject Terms: язык программирования, verification of programs, programming languages, сети Петри, Petri nets, automatic construction of program models, автоматическое построение моделей программ, верификация программ