Марина Петропавловских
- Login: woolf
- Email: its.my.cute.mail@gmail.com
- Registered on: 09/10/2017
- Last connection: 01/07/2018
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Activity
11/22/2017
- 11:10 AM Deductive Verification Tools for Linux Kernel Bug #8578: Моделирование escape char '\e'
- В приложенном файле две почти одинаковые функции с одинаковыми спецификациями, но unescape_space доказывается полност...
Also available in: Atom