DMCA

A Logic for Abstract State Machines (2001)

by Robert F. Stärk , Stanislas Nanchen
Citations:61 - 5 self