Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: Program Transformations Using Temporal Logic Side Conditions.

Title:

Program Transformations Using Temporal Logic Side Conditions.

Authors:

KALVALA, SARA¹ sara.kalvala@warwick.ac.uk, WARBURTON, RICHARD¹, LACEY, DAVID²

Source:

ACM Transactions on Programming Languages & Systems. May2009, Vol. 31 Issue 4, p14:1-14:48. 48p. 25 Diagrams, 2 Charts.

Database:

Business Source Ultimate

Links