CfPBoK
by
Vadim Zaytsev
Lindsay Groves
SLE 2013
🛠️
Summary
1
papers in
1
bundles
Top 3 popular topics:
T5D: Formal Methods
(
1
times)
T1A: Design
(
1
times)
T1B: Static Semantics
(
1
times)
Top coauthor:
David J. Pearce
(
1
times)
Made
1
contributions (see below)
List of contributions
(
SLE 2013
)
Coauthored
Whiley: A Platform for Research in Software Verification
(
David J. Pearce
,
Lindsay Groves
)
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
