Titel

Merkliste
1 Ergebnisse

Test procedures : A new approach to software verificatio:

, In: Proceedings of the 2nd international conference on Software engineering,

Panzl, David J. - p. 477-485 , 1976

Link: https://dl.acm.org/doi/10.5555/800253.807721

RT 
T1 <cTitle>Proceedings of the 2nd international conference on Software engineering</cTitle>: T1 <Title>Test procedures				: A new approach to software verification</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-807721&Exemplar=1&LAN=DE
				
A1 Panzl, David J.
PB IEEE Computer Society Press
YR 1976
K1 Program correctness
K1 Program debugging
K1 Program testing
K1 Program verification
K1 Software quality
K1 Software reliability
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Empirical software validation
K1 General and reference
K1 Cross-computing tools and techniques
K1 Validation
K1 Process validation
K1 Software defect analysis
K1 Software testing and debugging
K1 Software organization and properties
K1 Software functional properties
K1 Correctness
K1 Theory of computation
K1 Logic
K1 Proof theory
SP 477
OP 485
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/800253.807721
DO https://dl.acm.org/doi/10.5555/800253.807721
SF ELIB - SuUB Bremen

Export

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