TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 11 records were found in 0.453 seconds
On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations
Workshop on Abstract State Machines, 68-90, 1998