sTeXIIS: An Integrated Development Environment for sTeX Collections.

Constantin Jucovschi, Michael Kohlhase

Browse the full AISC paper archive.