skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Demyanova, Yulia rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

On the Concept of Variable Roles and its Use in Software Analysis

Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian

Fulltext disponibile

2
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Empirical software metrics for benchmarking of verification tools

Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian

Formal Methods in System Design, 2017, Vol.50(2), p.289-316 [Rivista Peer Reviewed]

Fulltext disponibile

Vedi tutte le versioni
3
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

On the concept of variable roles and its use in software analysis

Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian

2013 Formal Methods in Computer-Aided Design, October 2013, pp.226-230

Fulltext disponibile

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i risultati

  1.   

Mostra solo

  1. Riviste Peer-reviewed (1)

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

di questo autore:

  1. Zuleger, Florian
  2. Veith, Helmut
  3. Demyanova, Yulia
  4. Veith, H
  5. Pani, T

Ricerca in corso nelle risorse remote ...