[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Coen-Porisinietal91

  1. Alberto Coen-Porisini & Flavio De Paoli & Carlo Ghezzi & Dino Mandrioli
  2. Software Specialization Via Symbolic Execution
  3. IEEE Trans SE-17 n9 (Sep 1991)pp884-899 CR9302-0092
  4. =DEMO logic symbolic execution re-engineering specialization

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]