On Two Friends for Getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin - https://t.co/nfp5k6Hv7z
167 followers
13,403 followers
Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming of CAS systems by relying on attribute-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I. LNCS, vol. 9952, pp. 539–553. Springer, Cham (2016). https://t.co/W29h1AUL05 @Way
469 followers
(interestingly, common tools like Eclipse and IntelliJ have safety bugs in their refactoring tools, as seen in https://t.co/br73Up2hIF (w/@Sowhow , @fm_volker) – fortunately, this probably has little impact in practice) #wapi2018 #icse2018
128 followers
#Publication - A privacy-aware conceptual model for handling toxic waste | Handling toxic waste adequately is … https://t.co/LvRVkeILwo