Councilmembers serve as liaisons to various City boards and commissions and as the City’s representatives to outside agencies and organizations. The Council will update these assignments to include ...
Abstract: This paper introduces a pedagogical and practical approach to bridging formal methods and mainstream software engineering through a tagless-final Embedded Domain-Specific Language (eDSL) for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results