Atoment

MaRDI QIDQ30888swMATHFDO

Official website http://bulletin.iis.nsk.su/files/article/anureev_1.pdf

Cited in

(4)

• Introduction to the Atoment language
• Program specific transition systems
• C-Light
• Integrated approach to analysis and verification of imperative programs

This page was built for software: Atoment