tshoang/eventb_intro
Materials for an Event-B introductory presentation based on the Event-B Book "Cars on a bridge" example (ch. 2)
Public GitHub Catalog
Discovered Sep 26, 2026
tshoang / eventB-style
Package for typesetting Event-B models (discontinued, use lstEventB instead)
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8276985GitHub System ID
tshoangOrganization / User
PublicVisibility
ActiveCatalog Status
More from tshoang
tshoang/response
A LaTeX class for typesetting responses to reviewers' comments
tshoang/vienna-rss
Vienna is a freeware, open source RSS/Atom newsreader for the Mac OS X operating system.
tshoang/abbrev
Public repository.