ICTS:31584

Video URL

Real-time formalization

Real-time formalization

(2025). Real-time formalization. SciVideos. https://youtube.com/live/aNuPjs5_JfA

Real-time formalization. SciVideos, Apr. 23, 2025, https://youtube.com/live/aNuPjs5_JfA 

          @misc{ scivideos_ICTS:31584,
            doi = {},
            url = {https://youtube.com/live/aNuPjs5_JfA},
            author = {},
            keywords = {},
            language = {en},
            title = {Real-time formalization},
            publisher = {},
            year = {2025},
            month = {apr},
            note = {ICTS:31584 see, \url{https://scivideos.org/index.php/icts-tifr/31584}}
          }
Bhavik Mehta
Talk numberICTS:31584
Source RepositoryICTS-TIFR
Collection