Skip to content

Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.

Therrezinha Fernandes, Jules Desharnais

VenueBMPC
Year2004
ProceedingsMPC

Browse the full MPC paper archive.