Don Sannella

E1388559 UNEXPLORED

Don Sannella is a computer scientist known for his work in formal methods, algebraic specification, and the design and verification of software systems.

All labels observed (1)

Label Occurrences
Don Sannella canonical 1

How this entity was disambiguated

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hope designer Don Sannella
subject linked to: Hope programming language