×Login to SlideShare to download.

TLA+ and PlusCal / An engineer's perspective

3 years ago 284 Views