Número de Cutter-SanbornM282sEntrada «Mann, M.» → 282 · marca de obra “s”

STeP, the Stanford Temporal Prover

Autor	Zohar Manna
Editorial	Dept. of Computer Science, Stanford University
Fecha de publicación	1994
Lugar	Stanford, Calif
Idioma	inglés
Páginas	44
LCCN	95101128
Serie	Report ; · no. STAN-CS-TR-94-1518 · Report (Stanford University. Computer Science Dept.) ;
Número de Cutter	`M282s`

STeP, the Stanford Temporal Prover (1994) | Cutter Number