bibliographer - Ross Jeffery

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

An empirical research agenda for understanding formal methods productivity Ross Jeffery Mark Staples June Andronick Gerwin Klein Toby Murray [github]

Large-scale formal verification in practice: A process perspective June Andronick Ross Jeffery Gerwin Klein Rafal Kolanski Mark Staples He Zhang Liming Zhu [github]

Formal specifications better than function points for code sizing Mark Staples Rafal Kolanski Gerwin Klein Corey Lewis June Andronick Toby Murray Ross Jeffery Len Bass [github]

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification Daniel Matichuk Toby Murray June Andronick Ross Jeffery Gerwin Klein Mark Staples [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]