Vol-3611⫷ Vol-3612 ⫸Vol-3613
urn:nbn:de:0074-3612-0


Vol-3612/QuASoQ_2023_Paper_04⫷Vol-3612/QuASoQ_2023_Paper_05

Formalization and Verification of Go-based New Simple Queue System