Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 10 of 43 found articles
 
 
  Automatic generation of efficient oracles: The less-than case
 
 
Title: Automatic generation of efficient oracles: The less-than case
Author: Sanchez-Rivero, Javier
Talaván, Daniel
Garcia-Alonso, Jose
Ruiz-Cortés, Antonio
Murillo, Juan Manuel
Appeared in: Journal of systems and software
Paging: Volume 219 () nr. C pages p.
Year: 2025
Contents:
Publisher: The Author(s)
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 10 of 43 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands