skip to main content
Lingue:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Filtrati per: xxx: xxx rimuovi Argomento: Logic rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Bit-Precise Procedure-Modular Termination Analysis
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Bit-Precise Procedure-Modular Termination Analysis

Chen, Hong-Yi ; David, Cristina ; Kroening, Daniel ; Schrammel, Peter ; Wachter, Björn

ACM Transactions on Programming Languages and Systems (TOPLAS), 2018-01-12, Vol.40 (1), p.1-38 [Rivista Peer Reviewed]

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Ricerca in corso nelle risorse remote ...