Digital Library
Close Browse articles from a journal
 
   next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 1 of 7 found articles
 
 
  Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness
 
 
Title: Addressing the shortcomings of traditional formal reasoning methods for concurrent programs: New tools and techniques for source code correctness
Author: Shaw, Robert J.
Olsson, Ronald A.
Appeared in: Information sciences
Paging: Volume 106 (1998) nr. 3-4 pages 17 p.
Year: 1998
Contents:
Publisher: Elsevier Science Inc. All rights reserved.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 1 of 7 found articles
 
   next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands