Taking the hol out of HOL
5th, Langley formal methods workshop; Lfm2000 ; 2000 ; Williamsburg, VA
2000-01-01
12 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
IMAGE TAKING SYSTEM, METHOD FOR TAKING IMAGES, AND IMAGE TAKING CONTROLLER
European Patent Office | 2019
|Online Contents | 1997
TIBKAT | 1993
|Emerald Group Publishing | 1955