Posts Tagged "C"
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system
- On the Performance of Bytecode Interpreters in Prolog
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System
- A Multi-Target Code Generator for High-Level B
- Distributed Model Checking Using ProB
- Evaluating Interpreter Design in Prolog
