1.

Record Nr.

UNISA996575400703316

Titolo

2019 Forum for Specification and Design Languages (FDL) / / Institute of Electrical and Electronics Engineers

Pubbl/distr/stampa

[Place of publication not identified] : , : IEEE, , 2019

ISBN

1-7281-4113-3

Descrizione fisica

1 online resource

Disciplina

005.14

Soggetti

Computer programs - Verification

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia