HERMIT

swMATH9886MaRDI QIDQ21865FDOQ21865

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-41582-1_6

Cited In (4)

• Concurrent programming languages and methods for semantic analyses (extended abstract of invited talk)
• nofib
• Calculating correct compilers
• Programs for cheap!

This page was built for software: HERMIT