Title: unitb.github.io by unitb
Domain: unitb.github.io
| None | chrome=1 |
Links:
| View On GitHub | https://github.com/unitb/unitb.github.io |
| here | https://github.com/unitb/literate-unitb-complete |
| here | https://github.com/unitb/unitb-semantics |
| The Unit-B method: refinement guided by progress concerns. | https://link.springer.com/article/10.1007%2Fs10270-015-0456-2 |
| mattgraham | https://twitter.com/michigangraham |
Viewport: width=device-width, initial-scale=1, user-scalable=no