28
Publications
539
Citations
16
H-Index
1989
Active since
Affiliations
C.A. Middelburg is an author at University of Amsterdam specializing in formal methods, engineering, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningComputer EngineeringBusinessSystem Software
Publications per year
1989–2018
28
28
Thread algebra for strategic interleaving
J.A. Bergstra, C.A. Middelburg · Formal Aspects of Computing · 2007 · 83 citations · Full text
Instruction Sequences with Indirect Jumps
J.A. Bergstra, C.A. Middelburg · ArXiv.org · 2007 · 25 citations · Full text
Engineering, Computer Architecture, Software Engineering +17
VVSL: A language for structured VDM specifications
C.A. Middelburg · Formal Aspects of Computing · 1989 · 25 citations · Full text
A survey of paraconsistent logics
C.A. Middelburg · arXiv (Cornell University) · 2011 · 23 citations · Full text
Rows per page
1–5 of 28