Appendix A Relationship of Barbarik2 with Property Testing

Open in new window