Digital Library
Close Browse articles from a journal
 
<< previous   
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 5 of 5 found articles
 
 
  On embedding a hardware description language in Isabelle/HOL
 
 
Title: On embedding a hardware description language in Isabelle/HOL
Author: Khan, Wilayat
Sanan, David
Hou, Zhe
Yang, Liu
Appeared in: Design automation for embedded systems
Paging: Volume 23 () nr. 3-4 pages 123-151
Year: 2019
Contents:
Publisher: Springer US, New York
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 5 of 5 found articles
 
<< previous   
 
 Koninklijke Bibliotheek - National Library of the Netherlands