notpattison (notpattison)
- Member Since
- January 19, 2011 (1 year)
- Location
- Rochester, NY
- Occupation
- Software Engineer
- Interests
- Formal Methods
User Activity
Recent Replies
- Trouble with Channels in PlusCal - User last replied: 1 year ago | Most recent reply: 3 weeks ago
Topics Started
- Trouble with Channels in PlusCal - Started: 1 year ago | Most recent reply: 3 weeks ago