Keean Schupke is an author at Imperial College London specializing in formal verification, formal methods, and knowledge discovery.
Top concepts
EngineeringData ScienceFormal MethodsData ManagementComputer ScienceFormal VerificationKnowledge Discovery
Publications per year
2004–2004
1
1
Strongly typed heterogeneous collections
Oleg Kiselyov, Ralf Lämmel, Keean Schupke · 2004 · 181 citations
Rows per page
1–1 of 1