Important Links

1 Meetings

1.1 Adventium Labs Meeting

1.2 Weekly Meeting GoToMeeting

2 GitHub Links

2.1 Awas GitHub

2.2 Awas Documents

3 Research related pages

3.1 Sscate Wiki

3.2 Spec Patterns

4 Paper's Link

4.1 Conferences

5 People's Profile

5.1 Job Search

5.1.1 Chris Newcombe - Oracle Architect, previously Amazon instrumential in adopting TLA+

Author: Hariharan

Created: 2017-10-04 Wed 19:36