Tool Artifact for "Quantitative Program Sketching using Lifted Static Analysis'"
Main Author: | ALEKSANDAR DIMOVSKI |
---|---|
Format: | info software Journal |
Bahasa: | eng |
Terbitan: |
, 2022
|
Subjects: | |
Online Access: |
https://zenodo.org/record/5898643 |
Internet
https://zenodo.org/record/5898643Lokasi
Koleksi | Cognizance Journal of Multidisciplinary Studies |
---|---|
Gedung | Cognizance Journal of Multidisciplinary Studies |
Institusi | ZAIN Publications |
Kota | Stockholm |
Provinsi | INTERNASIONAL |
Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |