Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation).
(xsd:string)
Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation).
(xsd:string)