共 50 条
- [21] Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 630 - 632
- [22] Pinaka: Symbolic Execution Meets Incremental Solving (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 234 - 238
- [24] Competition between Lolium rigidum and barley in a Mediterranean area CONGRESS 1997 - SOCIEDAD ESPANOLA DE MALHERBOLOGIA, PROCEEDINGS, 1997, : 145 - 149
- [26] The symbolic value of wine in the Mediterranean religious traditions: from Ugarit to Prohibition RIVAR-REVISTA IBEROAMERICANA DE VITICULTURA AGROINDUSTRIA Y RURALIDAD, 2015, 2 (05): : 141 - 159
- [27] JDART: Dynamic Symbolic Execution for Java']Java Bytecode (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2020, 2020, 12079 : 398 - 402
- [29] Belowground competition for nutrients in shrub-encroached Mediterranean dehesas Nutrient Cycling in Agroecosystems, 2011, 90