Titel

Merkliste
1 Ergebnisse

VeriAbs : verification by abstraction and test generatio:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,

Afzal, Mohammad ; Asia, A ; Chauhan, Avriti... - p. 1138-1141 , 2019

Link: https://dl.acm.org/doi/10.1109/ASE.2019.00121

RT 
T1 <cTitle>Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering</cTitle>: T1 <Title>VeriAbs				: verification by abstraction and test generation</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3382620&Exemplar=1&LAN=DE
				
A1 Afzal, Mohammad
A1 Asia, A
A1 Chauhan, Avriti
A1 Chimdyalwar, Bharti
A1 Darke, Priyanka
A1 Datar, Advaita
A1 Kumar, Shrawan
A1 Venkatesh, R
PB IEEE Press
YR 2019
K1 General and reference
K1 Mathematics of computing
K1 Theory of computation
K1 Software and its engineering
K1 Cross-computing tools and techniques
K1 Probability and statistics
K1 Semantics and reasoning
K1 Software organization and properties
K1 Software creation and management
K1 Statistical paradigms
K1 Program reasoning
K1 Software functional properties
K1 Software verification and validation
K1 Formal methods
SP 1138
OP 1141
LK http://dx.doi.org/https://dl.acm.org/doi/10.1109/ASE.2019.00121
DO https://dl.acm.org/doi/10.1109/ASE.2019.00121
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)