TRAP: trace runtime analysis of properties - Archive ouverte HAL Access content directly
Journal Articles Frontiers of Computer Science Year : 2020

TRAP: trace runtime analysis of properties

(1, 2) , (3, 1, 2) , (4, 5, 6, 7)
1
2
3
4
5
6
7
Fichier principal
Vignette du fichier
fcs-17217.pdf (5.79 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02402957 , version 1 (08-01-2020)

Identifiers

Cite

Daian Yue, Vania Joloboff, Frédéric Mallet. TRAP: trace runtime analysis of properties. Frontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩. ⟨hal-02402957⟩
118 View
163 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More