Concepedia

Publication | Open Access

Functional synthesis for linear arithmetic and sets

DOIFull Paper Access

23

Citations

41

References

2011

Year

Viktor Kunčak, Mikaël Mayer, Ružica Piskač, Philippe Suter
International Journal on Software Tools for Technology Transfer

References

YearCitations

Page 1