- Tytuł:
- Automating deductive verification for weak-memory programs (extended version).
- Autorzy:
- Źródło:
- International Journal on Software Tools for Technology Transfer. Dec2020, Vol. 22 Issue 6, p709-728. 20p.
- 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.