Reachability Analysis for Annotated Code

Bibliografske podrobnosti
Main Authors: Janota, M, Grigore, R, Moskal, M
Format: Record
Izdano: 2007