T&L
Technology and Language Peter the Great St. Petersburg Polytechnic University
Since 2020
ISSN 2712-9934
en Английский
Version for the visually impaired
Submit Your Paper

Articles by keywords "Formal Verification"

Program and Code

semiotics, technology, and the order of things
Hähnle R.
  • Year: 2022
  • Volume: 3
  • Issue: 2
  • 18
  • 780
  • Pages: 70-80