Gerard J. Holzmann
id:
gerard-j-holzmann-182-15134743
title:
Gerard J. Holzmann
text:
Gerard J. Holzmann is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
brand slug:
wiki
category slug:
encyclopedia
description:
Dutch-American computer scientist
original url:
https://en.wikipedia.org/wiki/Gerard_J._Holzmann
date created:
2005-09-29T21:39:15Z
date modified:
2024-09-07T01:40:12Z
main entity:
{"identifier":"Q4588721","url":"https://www.wikidata.org/entity/Q4588721"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/c/ce/Gerard_J._Holzmann_FLoC_2006.jpg","width":640,"height":432}
fields total:
13
integrity:
16