The following pages link to Frank Stomp (Q816207):
Displaying 4 items.
- A complete mechanization of correctness of a string-preprocessing algorithm (Q816208) (← links)
- Correctness of substring-preprocessing in Boyer-Moore's pattern matching algorithm (Q1853605) (← links)
- Cache coherency in SCI: Specification and a sketch of correctness (Q1977123) (← links)
- Safety assurance via on-line monitoring (Q5138497) (← links)
