Foreword to the special issue on the 2017 Static Analysis Symposium

Francesco Ranzato. Foreword to the special issue on the 2017 Static Analysis Symposium. Formal Methods in System Design, 54(1):1-3, 2019. [doi]

Bibliographies