Static Analysis

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Roberto Giacobazzi

Themen in »Static Analysis«

Scala algorithms data structure data structures formal methods formal verification logic program analysis program manipulation program transformation semantics software analysis static analysis systems analysis verification

Stimmen zu »Static Analysis«

Details

Link teilen