Formale Methode (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Formale Methode" in German language version.

refsWebsite

Global rank German rank

2^nd place

3^rd place

274^th place

152^nd place

153^rd place

269^th place

low place

low place

doi.org

Jean Souyris: Industrial Experience of Abstract Interpretation-Based Static Analyzers. In: Building the Information Society (= IFIP International Federation for Information Processing). Springer US, Boston, MA 2004, ISBN 978-1-4020-8157-6, S. 393–400, doi:10.1007/978-1-4020-8157-6_31 (springer.com [abgerufen am 20. April 2020]).
Byron Cook: Formal Reasoning About the Security of Amazon Web Services. In: Computer Aided Verification (= Lecture Notes in Computer Science). Springer International Publishing, Cham 2018, ISBN 978-3-319-96145-3, S. 38–47, doi:10.1007/978-3-319-96145-3_3 (springer.com [abgerufen am 20. April 2020]).

Formal Methods in Industry. In: floc2018.org. Abgerufen am 20. April 2020 (amerikanisches Englisch).

SLAM. In: Microsoft Research. Abgerufen am 20. April 2020 (amerikanisches Englisch).

Edward Aftandilian, Raluca Sauciuc, Siddharth Priya, Sundaresan Krishnan: Building Useful Program Analysis Tools Using an Extensible Java Compiler. 2012, abgerufen am 20. April 2020 (englisch).

Jean Souyris: Industrial Experience of Abstract Interpretation-Based Static Analyzers. In: Building the Information Society (= IFIP International Federation for Information Processing). Springer US, Boston, MA 2004, ISBN 978-1-4020-8157-6, S. 393–400, doi:10.1007/978-1-4020-8157-6_31 (springer.com [abgerufen am 20. April 2020]).
Byron Cook: Formal Reasoning About the Security of Amazon Web Services. In: Computer Aided Verification (= Lecture Notes in Computer Science). Springer International Publishing, Cham 2018, ISBN 978-3-319-96145-3, S. 38–47, doi:10.1007/978-3-319-96145-3_3 (springer.com [abgerufen am 20. April 2020]).