Narrow your search

Library

UCLouvain (2)

KU Leuven (1)

UGent (1)

UNamur (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

1992 (1)

1990 (1)

Listing 1 - 2 of 2
Sort by

Book
Higher order logic theorem proving and its applications : proceedings of the -HOL'92 International workshop, Leuven, Belgium, 21-24 September 1992

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13-16 November, 1989
Authors: ---
ISBN: 044488372X 9780444883728 Year: 1990 Volume: 1 Publisher: Amsterdam: North-Holland,

Listing 1 - 2 of 2
Sort by