Browsing by Author Гладштейн Владимир Петрович
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2022 | Verification of model checking algorithm for concurrent programs in the Coq theorem prover | Гладштейн Владимир Петрович; Gladstejn Vladimir Petrovic |