Uniform probate code and uniform trust code in a nutshell von Averill, Lawrence H., Radford, Mary F.

Program verification fundamental issues in computer science

Computer aided verification 14th international conference, CAV 2002, Copenhagen, Denmark, July 27 - 31, 2002 ; proceedings

Interactive systems design, specification, and verification ; 7th international workshop, DSV-IS 2000, Limerick, Ireland, June 5 - 6, 2000 ; revised papers

Uniform probate code in a nutshell von Averill, Lawrence H.

Compliance quantified von Avenhaus, Rudolf 1938-

DE-12
DE-92
URL des Erstveröffentlichers

Satellitenfernerkundung zur Verifikation von Rüstungskontroll- und Abrüstungsverträgen von Slink, Torsten Adam

Inhaltsverzeichnis

Compliance quantified von Avenhaus, Rudolf 1938-, Canty, M. J.

Verificationism its history and prospects von Misak, Cheryl J. 1961-

Computer aided verification 7th international conference, CAV '95, Liège, Belgium, July 3 - 5, 1995 ; proceedings

Inhaltsverzeichnis

The UN inspections in Iraq lessons for on-site verification von Bailey, Kathleen C.

Open skies a cooperative approach to military transparency and confidence building

Mechanizing proof computing, risk, and trust von MacKenzie, Donald A. 1950-

DE-91
Volltext

Verification in economics and history a sequel to scientifization von Hamouda, Omar F., Price, Betsy B.

Inhaltsverzeichnis

Verification of sequential and concurrent programs von Apt, Krzysztof R. 1949-, Olderog, Ernst-Rüdiger 1955-

Automatic speaker verification in telephony a probabilistic approach von Koolwaaij, Johannes Wijnandus

Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15 - 19, 2000 ; proceedings

Inhaltsverzeichnis

Case studies in process specification and verification von Mulder, Johannes C.

Computer aided verification 11th international conference, CAV '99, Trento, Italy, July 6 - 10, 1999 ; proceedings

Theoretical and practical aspects of SPIN model checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999 ; Toulouse, France, September 21 and 24, 1999 ; proce...