Titel

Merkliste
1 Ergebnisse

A generalized program verification workflow based on loop e..:

, In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering,

Lourenço, Cláudio Belo ; Frade, Maria João ; Pinto, Jorge Sousa - p. 75-84 , 2019

Link: https://dl.acm.org/doi/10.1109/FormaliSE.2019.00017

RT 
T1 <cTitle>Proceedings of the 7th International Workshop on Formal Methods in Software Engineering</cTitle>: T1 <Title>A generalized program verification workflow based on loop elimination and SA form</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3338825&Exemplar=1&LAN=DE
				
A1 Lourenço, Cláudio Belo
A1 Frade, Maria João
A1 Pinto, Jorge Sousa
PB IEEE Press
YR 2019
K1 Theory of computation
K1 Semantics and reasoning
K1 General and reference
K1 Cross-computing tools and techniques
K1 Verification
K1 Program semantics
K1 Software and its engineering
K1 Software creation and management
K1 Software development process management
K1 Mathematics of computing
K1 Probability and statistics
K1 Statistical paradigms
K1 Exploratory data analysis
K1 Program reasoning
K1 Program verification
K1 Software verification and validation
K1 Formal software verification
SP 75
OP 84
LK http://dx.doi.org/https://dl.acm.org/doi/10.1109/FormaliSE.2019.00017
DO https://dl.acm.org/doi/10.1109/FormaliSE.2019.00017
SF ELIB - SuUB Bremen

Export

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