CTL

You are here: irt.org | FOLDOC | CTL

1. Checkout Test language.

2. Compiler Target Language.

3. Computational Tree Logic

Nearby terms: CTC++ « CTCP « CTI « CTL » CTOS » ctrl » CTS

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb