Assembly Code Analysis Using Stochastic Process Algebra.

Lamia Djoudi Leïla Kloul

Published in: EPEW (2008)

Keyphrases

knowledge representation
building blocks
software systems
process algebra