S. P. Miller
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Lessons from twenty years of industrial formal methods
S. P. Miller (2012) · 20th High Confidence Software and Systems Conference (HCSS 2012)
A bitvectors library for PVS
R. W. Butler and others (1996) · Technical Report TM-110274