( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Algebraic Reasoning for Collections and Local Variables with Lenses.

, и . RAMiCS, том 12062 из Lecture Notes in Computer Science, стр. 100-116. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Другие публикации лиц с тем же именем

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP., , , , и . CoRR, (2019)Testing Robots Using CSP., , , и . TAP@FM, том 11823 из Lecture Notes in Computer Science, стр. 21-38. Springer, (2019)Unifying semantic foundations for automated verification tools in Isabelle/UTP., , , , и . Sci. Comput. Program., (2020)Ahead-of-time algebraic compilation for safety-critical Java.. University of York, UK, (2018)British Library, EThOS.RoboWorld: Where Can My Robot Work?, , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 3-22. Springer, (2021)Automated Algebraic Reasoning for Collections and Local Variables with Lenses., и . RAMiCS, том 12062 из Lecture Notes in Computer Science, стр. 100-116. Springer, (2020)RoboWorld: Verification of Robotic Systems with Environment in the Loop., , , и . Formal Aspects Comput., 35 (4): 26:1-26:46 (декабря 2023)Model-Based Engineering for Robotics with RoboChart and RoboTool., , , , и . ICTAC Summmer School, том 13490 из Lecture Notes in Computer Science, стр. 106-151. Springer, (2021)Achieving practical network application impact and response time projections.. Int. CMG Conference, стр. 693-702. Computer Measurement Group, (2006)