• Engineering with Logic.

Treffer: Engineering with Logic.

Title:
Engineering with Logic.
Authors:
Bishop, Steve, Fairbairn, Matthew, Mehnert, Hannes, Norrish, Michael, Ridge, Tom, Sewell, Peter, Smith, Michael, Wansbrough, Keith
Source:
Journal of the ACM. Jan2019, Vol. 66 Issue 1, p1-77. 77p.
Database:
Business Source Ultimate