unsoundsystem

Interested in Systems software and their formal verification

Location:Japan

Pinned Repositories

unsoundsystem's Repositories