Alexandru Florin Iosif-Lazar

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Quantitative Analysis

Computationally Efficient

Search Algorithm

Top Venues

Art Sci. Eng. Program.

Publications

Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Effective Analysis of C Programs by Rewriting Variability. CoRR (2017)
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Effective Analysis of C Programs by Rewriting Variability. Art Sci. Eng. Program. 1 (1) (2017)