Automated Inference of Library Specifications for Source-Sink Property Verification (Q2937794): Difference between revisions

@@ Property / describes a project that uses @@
+TAJ
@@ Property / describes a project that uses: TAJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLAST
@@ Property / describes a project that uses: BLAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Perracotta
@@ Property / describes a project that uses: Perracotta / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Merlin
@@ Property / describes a project that uses: Merlin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dytan
@@ Property / describes a project that uses: Dytan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SLAM
@@ Property / describes a project that uses: SLAM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TaintDroid
@@ Property / describes a project that uses: TaintDroid / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+F4F
@@ Property / describes a project that uses: F4F / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-03542-0_21
+Normal rank
@@ Property / OpenAlex ID @@
+W2181712945
@@ Property / OpenAlex ID: W2181712945 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2937794