iBet uBet web content aggregator. Adding the entire web to your favor.



L2luZmluaXRvLz90aXRsZT0lMjJJbnZpdGVkK1RhbGslM0ErRm9ybWFsK0Rlc2lnbitpbithbitJbmR1c3RyaWFsK1Jlc2VhcmNoK0xhYm9yYXRvcnklM0ErTGVzc29ucythbmQrUGVyc3BlY3RpdmVzLiUyMiZ4PWh0dHBzJTNBJTJGJTJGd3d3LnJlZGRpdC5jb20lMkZzdWJtaXQlM0Z1cmwlM0RodHRwcyUzQSUyRiUyRmRibHAub3JnJTJGcmVjJTJGY29uZiUyRmlmaXAxMC0yJTJGQm9ybWFubk5WOTI=. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

1. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

2. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

3. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

4. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

5. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

6. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

7. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

8. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

9. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

10. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

11. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

12. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

13. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

14. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

15. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

16. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

17. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

18. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

19. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

20. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

21. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

22. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

23. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

24. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

25. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

26. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

27. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

28. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

29. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

30. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

31. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

32. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

33. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

34. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

35. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

36. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

37. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

38. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

39. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

40. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

41. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

42. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

43. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

44. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

45. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

46. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

47. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

48. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

49. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

50. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

51. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

52. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

53. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

54. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

55. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

56. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

57. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

58. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

59. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

60. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

61. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

62. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

63. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

64. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

65. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

66. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

67. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

68. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

69. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

70. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

71. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

72. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

73. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

74. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

75. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

76. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

77. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

78. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

79. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

80. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

81. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

82. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

83. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

84. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

85. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

86. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

87. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

88. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

89. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

90. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

91. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

92. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

93. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

94. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

95. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

96. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

97. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

98. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

99. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

100. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

101. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

102. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

103. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

104. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

105. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

106. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

107. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

108. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

109. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

110. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

111. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

112. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

113. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

114. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

115. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

116. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

117. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

118. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

119. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

120. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

121. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

122. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

123. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

124. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

125. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

126. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

127. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

128. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

129. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

130. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

131. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

132. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

133. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

134. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

135. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

136. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

137. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

138. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

139. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

140. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

141. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

142. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

143. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

144. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

145. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

146. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

147. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

148. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

149. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

150. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

151. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

152. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

153. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

154. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

155. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

156. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

157. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

158. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

159. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

160. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

161. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

162. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

163. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

164. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

165. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

166. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

167. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

168. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

169. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

170. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

171. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

172. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

173. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

174. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

175. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

176. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

177. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

178. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

179. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

180. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

181. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

182. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

183. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

184. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

185. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

186. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

187. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

188. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

189. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

190. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

191. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

192. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

193. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

194. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

195. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

196. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

197. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

198. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

199. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

200. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

201. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

202. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

203. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

204. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

205. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

206. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

207. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

208. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

209. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

210. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

211. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

212. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

213. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

214. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

215. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

216. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

217. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

218. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

219. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

220. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

221. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

222. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

223. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

224. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

225. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

226. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

227. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

228. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

229. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

230. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

231. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

232. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

233. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

234. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

235. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

236. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

237. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

238. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

239. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

240. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

241. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

242. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

243. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

244. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

245. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

246. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

247. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

248. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

249. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

250. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

251. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

252. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

253. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

254. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

255. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

256. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

257. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

258. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

259. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

260. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

261. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

262. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

263. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

264. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

265. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

266. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

267. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

268. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

269. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

270. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

271. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

272. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

273. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

274. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

275. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

276. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

277. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

278. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

279. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

280. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

281. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

282. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

283. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

284. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

285. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

286. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

287. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

288. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

289. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

290. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

291. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

292. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

293. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

294. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

295. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

296. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

297. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

298. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

299. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

300. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

301. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

302. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

303. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

304. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

305. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

306. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

307. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

308. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

309. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

310. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

311. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

312. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

313. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

314. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

315. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

316. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

317. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

318. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

319. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

320. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

321. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

322. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

323. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

324. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

325. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

326. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

327. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

328. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

329. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

330. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

331. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

332. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

333. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

334. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

335. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

336. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

337. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

338. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

339. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

340. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

341. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

342. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

343. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

344. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

345. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

346. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

347. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

348. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

349. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

350. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

351. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

352. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

353. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

354. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

355. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

356. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

357. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

358. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

359. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

360. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

361. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

362. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

363. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

364. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

365. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

366. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

367. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

368. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

369. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

370. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

371. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

372. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

373. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

374. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

375. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

376. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

377. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

378. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

379. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

380. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

381. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

382. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

383. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

384. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

385. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

386. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

387. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

388. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

389. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

390. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

391. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

392. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

393. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

394. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

395. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

396. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

397. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

398. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

399. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

400. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

401. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

402. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

403. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

404. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

405. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

406. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

407. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

408. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

409. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

410. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

411. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

412. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

413. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

414. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

415. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

416. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

417. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

418. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

419. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

420. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

421. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

422. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

423. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

424. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

425. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

426. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

427. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

428. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

429. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

430. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

431. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

432. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

433. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

434. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

435. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

436. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

437. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

438. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

439. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

440. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

441. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

442. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

443. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

444. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

445. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

446. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

447. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

448. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

449. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

450. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

451. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

452. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

453. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

454. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

455. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

456. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

457. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

458. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

459. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

460. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

461. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

462. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

463. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

464. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

465. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

466. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

467. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

468. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

469. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

470. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

471. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

472. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

473. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

474. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

475. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

476. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

477. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

478. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

479. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

480. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

481. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

482. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

483. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

484. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

485. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

486. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

487. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

488. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

489. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

490. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

491. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

492. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

493. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

494. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

495. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

496. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

497. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

498. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

499. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

500. /infinito/?title=%22Invited+Talk%3A+Formal+Design+in+an+Industrial+Research+Laboratory%3A+Lessons+and+Perspectives.%22&x=https%3A%2F%2Fwww.reddit.com%2Fsubmit%3Furl%3Dhttps%3A%2F%2Fdblp.org%2Frec%2Fconf%2Fifip10-2%2FBormannNV92

Link to original content: https://www.reddit.com/submit?url=https://dblp.org/rec/conf/ifip10-2/BormannNV92