Patents/Inventors

Tongtong Xiang

Seattle, WAUS1 patent

2 Patents

US119216162024
Retaining Dafny Specifications
Amazon Technologies, Inc.
0 cites
US117973172023
Transitioning Legacy Software to Be Provably Correct
Amazon Technologies, Inc.
0 cites