All software
1 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-1 of 1
VeriABI
Software supporting the MSc thesis "Binary Interface Compatibility for Library Integration in C++": VeriABI, a machine-checked ABI compatibility checker
- ABI
- API
- Application Binary Interface
- + 6
- (C)
- (C++)
- (Markdown)
- + 2
1
0