Record Nr.

UNINA9910510450603321

Autore

Bogomolov Sergiy

Titolo

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems / / Sergiy Bogomolov

Pubbl/distr/stampa


New York, New York : , : Association for Computing Machinery, , 2021

Descrizione fisica

1 online resource (26 pages)

Disciplina

004

Soggetti

Electronic data processing

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia