Search

Filters

Use filters to refine the search results.

Now showing items 1-5 of 5

Verification of finite state systems with temporal logic model checking

Schlingloff, B (South African Computer Society (SAICSIT), 1997)
Application-oriented program semantics

McIver, AK; Morgan, C; Sanders, JW (South African Computer Society (SAICSIT), 1997)
Reasoning about changing information

Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
Test automation of safety-critical reactive systems

Peleska, J; Siegel, M (South African Computer Society (SAICSIT), 1997)
WOFACS '96: Workshop on formal and applied Computer Science

Brink, C (South African Computer Society (SAICSIT), 1997)

Now showing items 1-5 of 5