Author: Stellenbosch University. Faculty of . Dept. of
Similar Items: A Run-time environment for a validation language
- The design of a specification language suitable for the generation of compilers
- Bis-snit ontwikkelingstelsel
- A Java bytecode compiler for the 8051 micro-controller
- LF : a language for reliable embedded systems
- A kernel to support computer-aided verification of embedded software
- A survey of proof systems for CSP