- Tytuł:
- A Correctness and Incorrectness Program Logic.
- Autorzy:
- Źródło:
- Journal of the ACM. Apr2023, Vol. 70 Issue 2, p1-45. 45p.
Czasopismo naukowe
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.