Kasper Brink is an author at Radboud University Nijmegen specializing in program analysis, formal verification, and formal specification.
Top concepts
ArtsJournalismEngineeringData ScienceSemantic WebVerificationCommunicationFormal MethodsComputer ScienceProgram Analysis
Publications per year
2011–2011
1
1
Large Formal Wikis: Issues and Solutions
Jesse Alama, Kasper Brink, Lionel Mamane et al. · 2011 · 16 citations · Full text
Engineering, Knowledge Extraction, Mathematical Dependencies +23
Rows per page
1–1 of 1