Atoment

swMATH19057MaRDI QIDQ30888FDOQ30888

Author name not available (Why is that?)

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